@article{2018:Stewart:Grandpa,
	author    = {Alistair Stewart},
	title     = {Byzantine Finality Gadgets},
	journal   = {Technical Report},
	year      = {2018},
	note       ={\url{https://github.com/w3f/consensus/blob/master/pdf/grandpa.pdf}}
}  


@article{flp,
  title={Impossibility of distributed consensus with one faulty process},
  author={Fischer, Michael J and Lynch, Nancy A and Paterson, Michael S},
  journal={Journal of the ACM (JACM)},
  volume={32},
  number={2},
  pages={374--382},
  year={1985},
  publisher={ACM},
  url={https://groups.csail.mit.edu/tds/papers/Lynch/jacm85.pdf}
}

@article{CasperFFG,
  title={Casper the friendly finality gadget},
  author={Buterin, Vitalik and Griffith, Virgil},
  journal={arXiv preprint arXiv:1710.09437},
  year={2017},
  url={https://arxiv.org/abs/1710.09437}
}

@article{Tendermint,
  title={The latest gossip on BFT consensus},
  author={Buchman, Ethan and Kwon, Jae and Milosevic, Zarko},
  journal={arXiv preprint arXiv:1807.04938},
  year={2018},
  url={https://arxiv.org/abs/1807.04938}
}

@article{CasperCBC,
  title={Casper the Friendly Ghost: A “Correct-by-Construction” Blockchain Consensus Protocol},
  author={Zamfir,Vlad},
  year={2017},
  url={https://github.com/ethereum/research/blob/master/papers/CasperTFG/CasperTFG.pdf}
}


@article{BitcoinBA,
  title={Anonymous byzantine consensus from moderately-hard puzzles: A model for bitcoin},
  author={Miller, Andrew and LaViola Jr, Joseph J},
  url={https://nakamotoinstitute.org/research/anonymous-byzantine-consensus/},
  year={2014}
}

@inproceedings{Discoin,
  title={Bitcoin meets strong consistency},
  author={Decker, Christian and Seidel, Jochen and Wattenhofer, Roger},
  booktitle={Proceedings of the 17th International Conference on Distributed Computing and Networking},
  pages={13},
  year={2016},
  organization={ACM},
  url={https://arxiv.org/abs/1412.7935}
}

@article{SCP,
  title={SCP: A Computationally-Scalable Byzantine Consensus Protocol For Blockchains.},
  author={Luu, Loi and Narayanan, Viswesh and Baweja, Kunal and Zheng, Chaodong and Gilbert, Seth and Saxena, Prateek},
  journal={IACR Cryptology ePrint Archive},
  volume={2015},
  pages={1168},
  year={2015},
  url={https://www.weusecoins.com/assets/pdf/library/SCP%20-%20%20A%20Computationally-Scalable%20Byzantine.pdf}
}

@article{ALGORAND,
  author    = {Silvio Micali},
  title     = {{ALGORAND:} The Efficient and Democratic Ledger},
  journal   = {CoRR},
  volume    = {abs/1607.01341},
  year      = {2016},
  url       = {http://arxiv.org/abs/1607.01341},
  archivePrefix = {arXiv},
  eprint    = {1607.01341}
}

@misc{CasperTFG,
    author = {Ryuya Nakamura and Takayuki Jimba and Dominik Harz},
    title = {Refinement and Verification of CBC Casper},
    howpublished = {Cryptology ePrint Archive, Report 2019/415},
    year = {2019},
    note = {\url{https://eprint.iacr.org/2019/415}},
}
